dbusServices/extensions: Stop using :margin shortcut

The property has been removed in GTK4, so prepare for a port by
setting the four individual margin properties instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>

diff --git a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
index faf69f252e81dbc9ed5fd93f93ac5d8b1852cfaf..e7895bba622f4a09d73801bb177eb3eb67508b6b 100644 (file)
--- a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
+++ b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
@@ -27,7 +27,9 @@
                   <object class="GtkBox">
                     <property name="visible">True</property>
                     <property name="orientation">vertical</property>
-                    <property name="margin">100</property>
+                    <property name="margin-start">100</property>
+                    <property name="margin-end">100</property>
+                    <property name="margin-top">100</property>
                     <property name="margin-bottom">60</property>
                     <property name="spacing">12</property>
                     <child>
@@ -65,7 +67,10 @@
                                 <child>
                                   <object class="GtkBox">
                                     <property name="visible">True</property>
-                                    <property name="margin">12</property>
+                                    <property name="margin-start">12</property>
+                                    <property name="margin-end">12</property>
+                                    <property name="margin-top">12</property>
+                                    <property name="margin-bottom">12</property>
                                     <property name="spacing">6</property>
                                     <child>
                                       <object class="GtkImage" id="expanderArrow">